Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
121	Proof Assistants and the Dynamic Nature of Formal Theories Robert L. Constable Cornell University Abstract Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2012-06-04 13:35:50 Mathematical logic Logic Automated theorem proving Proof assistants Theoretical computer science Logic in computer science Abstraction Nuprl Constructivism Type theory Mathematical proof Robert Lee Constable
122	Aligning the Top Level of SNOMED-CT with Basic Formal Ontology William R. Hogan, MD, MS Nature Precedings : doi:npre : Posted 7 OctBackground Add to Reading List Source URL: precedings.nature.com Language: English Ontology Information science Knowledge representation Metaphysics Semantic Web Philosophy Systematized Nomenclature of Medicine Formal ontology Gene ontology Barry Smith Web Ontology Language
123	The Uncertainty of Identity Toolset: Analysing Digital Traces for User Profiling Muhammad Adnan Antonio Lima Add to Reading List Source URL: www.uncertaintyofidentity.com Language: English - Date: 2014-09-01 07:36:39 Computing Software String computer science) Formal languages Arrays Suffix tree Surname Substring Suffix array Gmail Email address String
124	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:45:21 Theoretical computer science Mathematical logic Mathematics Logic programming Logic in computer science Automated theorem proving Formal methods Unification Lambda calculus Constraint logic programming Conjunctive normal form
125	Types and Type-Free λ-Calculus Dana S. Scott, FBA, FNAS University Professor Emeritus Carnegie Mellon University Visiting Scholar Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2016-06-16 11:50:12 Computability theory Theoretical computer science Mathematical logic Theory of computation Models of computation Formal methods Logic in computer science Lambda calculus Recursively enumerable set -recursive function Denotational semantics Numbering
126	Ontologies for Web Service Annotations OBI & EDAM Dr. Jessica Kissinger Department Of Genetics University Of Georgia Add to Reading List Source URL: mango.ctegd.uga.edu Language: English - Date: 2013-11-07 15:58:49 Ontology Information science Technical communication Knowledge representation Information Knowledge Semantic Web Upper ontology Ontology for Biomedical Investigations OBO Foundry Basic Formal Ontology Obi
127	Biographical Sketch Charles D. Nicholson A. Professional Preparation Bachelor of Science, Physics, University of North Texas, May 1999 Bachelor of Science, Mathematics, University of North Texas, May 1999 Master of Scien Add to Reading List Source URL: resilience.colostate.edu Language: English - Date: 2015-05-15 10:11:27 Business Business intelligence Operations research Economy Professional studies Formal sciences Institute for Operations Research and the Management Sciences Management science Predictive analytics Analytics Mathematical optimization Data science
128	Classifying Regular Languages by a Split Game Qiqi Yan∗ BASICS Laboratory, Department of Computer Science and Engineering, Shanghai Jiao Tong University, 200240, Shanghai, P.R. China Add to Reading List Source URL: www.qiqiyan.com.s3-website-us-east-1.amazonaws.com Language: English - Date: 2012-07-04 18:28:36 Formal languages Mathematical analysis Mathematics Theoretical computer science Symbol Omega language Constructible universe Regular language Star height Linear temporal logic Differential forms on a Riemann surface
129	Gut & gigabytes: Capitalising on the art & science in decision making Add to Reading List Source URL: www.pwc.ie Language: English - Date: 2016-08-14 02:52:13 Business Data Computing Business intelligence Data management Big data Formal sciences Transaction processing Analytics Data-informed decision-making PricewaterhouseCoopers Data analysis
130	D:E_FINAL 3-2010cad04PaginatedFilesd-skundud-skunduproof Add to Reading List Source URL: mesl.ucsd.edu Language: English - Date: 2011-04-30 20:20:23 Formal methods Mathematical logic Algorithm Theoretical computer science Refinement

UPDATE